منابع مشابه
Towards Effectively Eliminating Conditional Rewrite Rules
Conditional rewrite rules are notorious for being difficult to implement in rewrite engines. This is because, like in the case of function calls in programming language implementations, rewrite engines need to ”freeze” the current rewriting environment and to create a new one in which the condition is reduced. Stacking these rewriting environments efficiently can easily become a nontrivial task...
متن کاملConditional Rewrite Rules: Confluence and Termination
Algebraic specifications of abstract data types can often be viewed as systems of rewrite rules. Here we consider rewrite rules with conditions, such as they arise, e.g., from algebraic specifications with positive conditional equations. The conditional term rewriting systems thus obtained which we will study, are based upon the well-known class of left-linear, nonambiguous TRSs. A large part o...
متن کاملRewrite Rules supporting Conditional Statements for Automatic Parallelization
Hurlin recently proposed a technique for automatic parallelization based on separation logic [9]. This paper proposes an enhancement of the mechanism for situations where conditional statements are used in specifications of programs. With the proposed changes, specifications containing conditional statements are supported and programs can be automatically parallelized. Two approaches are identi...
متن کاملCanonical Conditional Rewrite Systems
Conditional equations have been studied for their use in the specification of abstract data types and as a computational paradigm that combines logic and function programming in a clean way. In this paper we examine different formulations of conditional equations as rewrite systems, compare their expressive power and give sufficient conditions for rewrite systems to have the "confluence" proper...
متن کاملPathogens reWritE Rho's Rules
Many bacterial pathogens use a specialized "type III" secretion system to deliver virulence effector proteins into host mammalian cells. In this issue of Cell, Alto et al. (2006) describe a new family of effectors that share a WxxxE sequence motif. These effectors directly stimulate host signaling pathways by mimicking activated Ras-like cellular GTPases.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1984
ISSN: 0304-3975
DOI: 10.1016/0304-3975(84)90087-2